dependent type
依存型
Typed lambda calculus
Intuitionistic type theory
/suto3/google.icondependent type
/suto3/Google画像検索.icondependent type
/suto3/Google定義検索.icon dependent type
/suto3/wikipedia.icondependent type
/suto3/weblio.icon dependent type
/suto3/kotobank.icon dependent type
/suto3/jisho.icon dependent type